181. #Simplified independence proofs
پدیدآورنده : #]by[ J. Barkley Rosser
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (اصفهان)
موضوع : Independence )Mathematics( ،Algebra, Boolean ،Set theory
رده :
#
QA
،#.
P8
,
vol
.،#
31
182. Simplified independence proofs; Boolean valued models of set theory
پدیدآورنده : Rosser, John Barkley
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Independence )Mathematics(,، Algebra, Boolean,، Set theory
رده :
QA
3
.
P8
vol
.
31
183. Special groups: boolean-theoretic methods in the theory of quadratic forms
پدیدآورنده : Dickmann, Max A., 0491-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Forms, Quadratic,، Algebra, Boolean
رده :
QA
3
.
A475
no
.
689
184. Statistics of the boolean model for Practitioners and mathematicians
پدیدآورنده : / Ilya Molchanov
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Algebra,Boolean
رده :
QA10
.
3
.
M65
1997
185. Statistics of the boolean model for practitioners & mathematicians
پدیدآورنده : Molchanov, Ilya
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه بیرجند (خراسان جنوبی)
موضوع : ، Algebra, Boolean
رده :
QA
10
.
3
.
M6
S7
186. Stone spaces
پدیدآورنده : Johnstone, P. T.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Algebra, Boolean,، Representations of algebras,، Topology,، Algebra,، Functional analysis
رده :
QA
10
.
3
.
J64
1982
187. Stone spaces
پدیدآورنده : Johnstone, P. T.
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Algebra, Boolean,، Representations of algebras,، Topology,، Algebra,، Functional analysis
رده :
QA
10
.
3
.
J63
1982
188. Structures ordonnees et algebres de boole
پدیدآورنده : Faure, Robert
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Algebra, Abstract,، Algebra, Boolean
رده :
QA
162
.
F38
1971
189. Techniques booleennes et calculateurs arithmetique
پدیدآورنده : Chinal, Jean
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Switching theory,، Sequential machine theory,، Algebra, Boolean
رده :
QA
401
.
C52
190. Techniques booleennes et calculateurs arithmetiques
پدیدآورنده : / J. Chinal
کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)
موضوع : Switching theory,Sequential theory,Algebra, Boolean
رده :
QA401
.
C52
191. The Essentials of booiean algebra
پدیدآورنده : Alan David Solomon
موضوع : Algebra, Boolean
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
192. The algebra of probable inference
پدیدآورنده : Cox, Richard Threlkeld
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Probabilities,، Algebra, Boolean,، Information theory
رده :
QA
273
.
C77
193. The algebra of probable inference
پدیدآورنده : Cox, Richard Threlkeld
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Probabilities,، Algebra, Boolean,، Information theory
رده :
QA
273
.
C77
194. The comparative method
پدیدآورنده : Charles C. Ragin,Title
کتابخانه: کتابخانه و مرکز اسناد پژوهشگاه فرهنگ، هنر و ارتباطات (تهران)
موضوع : Social sciences- Comparative method,Algebra, Boolean
رده :
H
.
R216
61
1987
195. The complete dimension theory of partially ordered systems with equivalence and orthogonality
پدیدآورنده : Goodearl, Kenneth Ralph, 5491-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Lattice theory,، Boolean rings,، Partial algebras,، Modules )Algebra(
رده :
QA
3
.
A475
no
.
831
196. The complexity of Boolean functions
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Algebra, Boolean. ;
197. The complexity of Boolean functions
پدیدآورنده : / Ingo Wegener
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Algebra, Boolean,Computational complexity
رده :
QA10
.
3
.
W44
1987
198. The complexity of Boolean functions
پدیدآورنده : / Ingo Wegener
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Algebra, Boolean,Computational complexity
رده :
E-BOOK
199. The complexity of Boolean networks
پدیدآورنده : Dunne, Paul E.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Computational complexity,، Algebra, Boolean
رده :
QA
267
.
7
.
D85
1988
200. Two applications of logic to mathematics
پدیدآورنده : Takeuti, Gaisi, 6291-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Logic, Symbolic and mathematical,، Algebra, Boolean
رده :
QA
9
.
T26
1978